1. Symposium on Automatic Demonstration
Author: edited by M. Laudet ]and others[
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96
S9
1968
